41. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
Author: / Dirk Van Dalen, Marc Bezem (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA75
,.
5
.
W62
42. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Author: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W624
1990
43. Conditional logic in expert systems
Author: edited by I.R. Goodman ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95
C66
1991
44. Current trends on knowledge-based systems
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
006
.
3
C976
2017
21
45. Discrete Mathematics
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
Classification :
QA9
.
25
.
E57
2006
46. Discrete mathematics
Author: / Douglas E. Ensley, J. Winston Crawley
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
Classification :
QA9
.
25
.
E57
2006
47. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
48. Discrete mathematics :
Author: Douglas E. Ensley, J. Winston Crawley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
Classification :
QA9
.
25
.
E57
2006
49. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
50. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Computer science,Logic, Symbolic and mathematical,-- Mathematics
Classification :
511
R813D
2007
51. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
511
R813d
E
.
5
52. Discrete mathematics and its applications
Author: Rosen, Kenneth H.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Mathematics,Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
53. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
موضوع : ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
54. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
55. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2003
56. Discrete mathematics and its applications
Author: Rosen, Kenneth H.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
2
.
R67D5
2007
57. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Ilam University Central Library (Ilam)
Subject: Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
58. Discrete mathematics and its applications with combinatorics and graph theory
Author: Rosen, Kenneth H, Kenneth H Rosen
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Mathematics,، Computer science - Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
2
.
R6D5
2007
59. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games
Author: Ensley, Douglas E.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
Classification :
QA
9
.
25
.
E57
60. Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
Author: Ensley, Douglas E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematical recreations,، Computer science -- Mathematics
Classification :
QA
9
.
25
.
E57D5
